1. Attribute-Value logic and the theory of grammar
پدیدآورنده : Johnson, Mark, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Grammar, Comparative and general,، Language and logic,، Computational linguistics
رده :
P
25
.
C28
No
.
16
2. Language, logic, and computation :
پدیدآورنده : Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
3. Linguistic instruments in knowledge engineering : proceedings of the 1991 Workshop on Linguistic Instruments in Knowledge Engineering, Tilburg, The Netherlands, 17-18 January 1991
پدیدآورنده : edited by R. P. van de Riet, R. A. Meersman
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (تهران)
موضوع : Computational linguistics -- Congresses,Information storage and retrieval systems -- Congresses,Logic -- Congresses
رده :
P
98
.
W64
1991
4. Logic, Language and Reasoning
پدیدآورنده : edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
5. Logic, Language, formalism, informlaism
پدیدآورنده : Richardson, Daniel
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical - Study and teaching , Computational Linguistics - Study and teaching , Language and logic - Study and teaching , Reasoning - Study and teaching
رده :
QA
9
.
R52
1995
6. Logic, language, and computation
پدیدآورنده : / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
7. Logic, language, and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
8. Logic, language, and computation
پدیدآورنده : / edited by Jerry Seligman & Dag Westerst?Nhl
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Language and logic.,Logic, Symbolic and mathematical.,Computational linguistics.
رده :
P
,
39
,.
L593
,
1996
9. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
10. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
11. Logic, language, and computation
پدیدآورنده : / edited by Jerry Seligman & Dag Westerstغhl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Language and logic,Logic, Symbolic and mathematical,Computational linguistics
رده :
P39
.
L593
1996
12. Logical Aspects of Computational Linguistics
پدیدآورنده : \ [edited by] Denis Bechet, Alexander Dikovsky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational linguistics -- Congresses.,Language and logic -- Congresses.,Computer logic -- Congresses.,زبان‌شناسی کامپیوتری -- کنگره‌ها ,زبان و منطق -- کنگره ها ,منطق کامپیوتری -- کنگره ها
رده :
P
98
.
L6
2012
E-Book
,
13. Logical aspects of computational linguistics : Second international conference, LACL'97, Nancy, France, September 22-24, 1997 : selected papers
پدیدآورنده : Francois Lamarche, Guy Perrier, Alain Lecomte )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational linguistics,Congresses ، Language and logic
رده :
QA
76
.
L28
Vol
.
1582
14. Logical aspects of computational linguistics : first international conference, LACL'96, Nancy, France, September 23-25, 1996 : selected papers
پدیدآورنده : Christian Retore )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational linguistics,Congresses ، Language and logic
رده :
QA
76
.
L28
Vol
.
1328
15. Logical aspects of computational linguistics : 5th International Conference, LACL 2005, Bordeaux, France, April 2005 : proceedings
پدیدآورنده : Philippe Blanche... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational linguistics,Congresses ، Language and logic
رده :
QA
76
.
L28
Vol
.
3492
16. Logical aspects of computational lingusitics : third international conference, LACL'98, Grenoble, France, December 14-16, 1998 : selected papers
پدیدآورنده : Michael Moortgat )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational linguistics,Congresses ، Language and logic
رده :
QA
76
.
L28
Vol
.
2014
17. Logics for linguistic structures
پدیدآورنده : edited by Fritz Hamm and Stephan Kepser
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Language and logic,، Computational linguistics
رده :
P
39
.
L59
18. Logics for linguistic structures
پدیدآورنده : / edited by Fritz Hamm and Stephan Kepser
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Language and logic,Computational linguistics
رده :
P39
.
L5995
2008
19. Logics for linguistic structures
پدیدآورنده : / edited by Fritz Hamm and Stephan Kepser
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : زبان و منطق,Language and logic,Computational linguistics
رده :
P39
.
L5
20. Meaning, logic and ludics
پدیدآورنده : Alain Lecomte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics.,Logic.
